#include <kernel.h>
#include <pa4.h>
#include <buf.h>

/* 
 * Part A 1/4. buf_init()
 * buf_init() is responsible for initializing buffer cache management.
 */

void buf_init(void) 
{
	int i;
	
	buf_count = 0;
	buf_head = NULL;
	
	for(i=0;i<1024;i++)
	{
		semaphoredsk0[i]=0;
		semaphoredsk1[i]=0;	
	}
}

